ACM SIGACT - PDFSEARCH.IO - Document Search Engine

ACM SIGACT
Results: 168

#	Item
31	SIGOPS Annual Report 2010 Fiscal Year July 2009-June 2010 Submitted by Doug Terry, SIGOPS Chair Overview SIGOPS continues to be a vibrant community of people with interests in “operating systems” in the Add to Reading List Source URL: www.sigops.org Language: English - Date: 2010-07-28 20:56:58 International Conference on Architectural Support for Programming Languages and Operating Systems ACM SIGACT Conference on Embedded Networked Sensor Systems Symposium on Principles of Distributed Computing Dijkstra Prize Mark Weiser SIGMOBILE SIGMOD Computer science Computing Symposium on Operating Systems Principles
32	Microsoft Word - SIGOPSAnnualReport2013_SUBMISSION3.docx Add to Reading List Source URL: www.sigops.org Language: English - Date: 2013-08-20 16:37:55 ACM SIGACT International Conference on Architectural Support for Programming Languages and Operating Systems Conference on Embedded Networked Sensor Systems Symposium on Principles of Distributed Computing SIGMOBILE SIGMOD Computer science Computing Symposium on Operating Systems Principles
33	SIGOPS Annual Report 2008 Fiscal Year July 2007-June 2008 Submitted by Doug Terry, SIGOPS Chair Overview SIGOPS continues to be a vibrant community of people with interests in “operating systems” in the Add to Reading List Source URL: www.sigops.org Language: English - Date: 2008-10-02 23:52:14 Symposium on Operating Systems Principles ACM SIGACT Dijkstra Prize Software engineers International Conference on Architectural Support for Programming Languages and Operating Systems Symposium on Principles of Distributed Computing Conference on Embedded Networked Sensor Systems Edsger W. Dijkstra Computer science Computing Concurrent computing
34	SIGOPS Annual Report 2009 Fiscal Year July 2008-June 2009 Submitted by Doug Terry, SIGOPS Chair Overview SIGOPS continues to be a vibrant community of people with interests in “operating systems” in the Add to Reading List Source URL: www.sigops.org Language: English - Date: 2009-10-21 11:49:29 International Conference on Architectural Support for Programming Languages and Operating Systems ACM SIGACT Conference on Embedded Networked Sensor Systems Symposium on Principles of Distributed Computing Mendel Rosenblum Mark Weiser SIGMOD Operating Systems Design and Implementation Computer science Computing Symposium on Operating Systems Principles
35	Microsoft Word - SIGOPSAnnualReport2004.docx Add to Reading List Source URL: www.sigops.org Language: English - Date: 2008-10-02 23:52:14 Symposium on Operating Systems Principles Software engineers Dijkstra Prize Symposium on Principles of Distributed Computing Conference on Embedded Networked Sensor Systems Mark Weiser Edsger W. Dijkstra Keith Marzullo ACM SIGACT Computing Computer science Concurrent computing
36	Lista de Revistas e Conferencias do IST.xls Add to Reading List Source URL: drh.tecnico.ulisboa.pt Language: English - Date: 2014-01-16 09:15:49 Theoretical computer science Engineering Academia Symposium on Principles and Practice of Parallel Programming Design Automation Conference Institute of Electrical and Electronics Engineers International Conference on Computer-Aided Design Federated Computing Research Conference Association for Computing Machinery International nongovernmental organizations Computer science ACM SIGACT
37	Coordination-Free Computations Christopher Meiklejohn LASP DISTRIBUTED, EVENTUALLY CONSISTENT COMPUTATIONS Add to Reading List Source URL: gotocon.com Language: English - Date: 2015-05-12 19:40:34 ACM SIGACT Theoretical computer science Online and offline
38	James Aspnes April 30th, 2015 Work address James Aspnes Yale University Department of Computer Science Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2015-04-30 10:34:02 Theoretical computer science ACM SIGACT Computational learning theory Symposium on Parallelism in Algorithms and Architectures Symposium on Principles of Distributed Computing Distributed computing Michael J. Fischer Nir Shavit Nancy Lynch Computer science Computing Applied mathematics
39	Lance Jeremy Fortnow Georgia Institute of Technology School of Computer Science 266 Ferst Drive Atlanta, GA 30332 Add to Reading List Source URL: lance.fortnow.com Language: English - Date: 2014-06-05 11:48:59 Carsten Lund Computational learning theory Sparse language IP ACM SIGACT Computer science International Colloquium on Automata Languages and Programming Interactive proof system Probabilistically checkable proof Theoretical computer science Applied mathematics Computational complexity theory
40	Robert Grimm Department of Computer Science New York University 715 Broadway, Room 711 New York, NY 10003 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2014-09-14 09:35:21 Programming Language Design and Implementation International Conference on Architectural Support for Programming Languages and Operating Systems ACM SIGACT Principles of Programming Languages Symposium on Operating Systems Principles Orc SIGPLAN XPL Computer science Association for Computing Machinery Computing